evaluating integral of sec(x)